4001. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA267
،.
I56
1983
4002. Topics in theoretical computer science :
پدیدآورنده: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
4003. Topological Derivatives in Shape Optimizatio
پدیدآورنده: / by Antonio Andr?ش Novotny, Jan Soko??owski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science,Mechanics, applied,Electronic books
رده :
E-BOOK
4004. Topological quantum computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Complex manifolds,Congresses ، Quantum theory,Congresses ، Quantum computer
رده :
QA
613
.
2
.
N74
2008
4005. Topology and category theory in computer science
پدیدآورنده: edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
رده :
QA
76
.
9
.
M35T66
1991
4006. <2000=Tow Thousand> solved problems in discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Mathematics- Problems, exercises, etc,Computer science- Mathematics- Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
4007. Toward a national research network /
پدیدآورنده: National Research Network Review Committee, Computer Science and Technology Board, Commission on Physical Sciences, Mathematics, and Resources, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.
رده :
TK5105
.
5
.
N4
1988eb
4008. Toward deep neural networks :
پدیدآورنده: Yunong Zhang, Dechao Chen, Chengxu Ye
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
رده :
QA76
.
87
.
Z47537
2019eb
4009. Tracer Methods for in Vivo Kinetics :
پدیدآورنده: Reginald Shipley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Medicine -- Mathematics.,Radioisotopes in physiology.
رده :
QP521
.
R445
2014
4010. Traces and Emergence of Nonlinear Programmin
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Mathematics,Computational Science and Engineering,History of Mathematical Sciences
رده :
E-BOOK
4011. Transactions on Computational Science VI
پدیدآورنده: / edited by Marina L. Gavrilova, C. J. Kenneth Tan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Electronic data processing.,Computational complexity.,Differential equations, partial.,Computer science--Mathematics
4012. Transactions on Computational Science XVII
پدیدآورنده: edited by Marina L. Gavrilova, C.J. Kenneth Tan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data protection.
4013. Transactions on Engineering Technologies :
پدیدآورنده: Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
4014. Transactions on Petri Nets and Other Models of Concurrency X
پدیدآورنده: \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکه‌های پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر
رده :
QA267
.
T71
2015
E-Book
,
4015. Transactions on computational science XIV :
پدیدآورنده: Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
4016. Transactions on computational science XXXII :
پدیدآورنده: edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biometric identification-- Security measures, Congresses.,Computer security, Congresses.,Artificial intelligence.,Computer science.,Image processing.
رده :
QA76
.
9
.
A25
4017. Transactions on computational science XXXIII /
پدیدآورنده: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
رده :
TK5105
.
8857
4018. Transactions on engineering technologies :
پدیدآورنده: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
4019. Transactions on engineering technologies :
پدیدآورنده: Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
4020. Transactions on petri nets and other models of concurrency VII
پدیدآورنده: Kurt Jensen [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
